Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
291	Revising Beliefs on the Basis of Evidence James P. Delgrande School of Computing Science Simon Fraser University Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:44:27 Formal languages Model theory Propositional calculus Belief revision Interpretation Entailment Modal logic Function Linear temporal logic Logic Mathematics Philosophical logic
292	Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages Secure Protocol Composition Anupam Datta 1 Ante Derek 1 John C. Mitchell 1 Computer Science Depar Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-05-03 19:17:14 Temporal logic Model theory Propositional calculus Mathematical logic Interpretation Substitution Well-formed formula Logic Formal languages Linear temporal logic
293	Hypothesis testing when a nuisance parameter is present only under the alternative - linear model case Add to Reading List Source URL: www.robertnz.net Language: English - Date: 2010-02-24 03:24:45 Logical syntax Metalogic Philosophical logic Propositional calculus Symbol Hájek–Le Cam convolution theorem Logic Deduction Entailment
294	Prolegomenon to a Theory of Conservative Belief Revision James P. Delgrande Abhaya C. Nayak Maurice Pagnucco∗ School of CSE School of Computing Science Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2003-09-08 16:38:27 Knowledge representation Interpretation Constructible universe Entailment Linear temporal logic Μ operator Logic Model theory Belief revision
295	ICAPS 2013: Proceedings of the 1st Workshop on Planning in Continuous Domains Flexible Execution of Partial Order Plans With Temporal Constraints∗ Christian Muise1 , J. Christopher Beck2 , and Sheila A. McIlraith1 1 Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2013-12-04 14:21:42 Planning Domain Definition Language Automated planning and scheduling Linear temporal logic Coordination
296	On some possible mathematical connections concerning Noncommutative Minisuperspace Cosmology, Noncommutative Quantum Cosmology in low-energy String Action, Noncommutative Kantowsky-Sachs Quantum Model, Spectral Action Pr Add to Reading List Source URL: empslocal.ex.ac.uk Language: English - Date: 2008-01-16 04:37:12 Symbol Linear temporal logic
297	1 Mumford–Shah Model for One-to-one Edge Matching Jingfeng Han, Benjamin Berkels, Marc Droske, Joachim Hornegger, Martin Rumpf, Carlo Schaller, Jasmin Scorzin and Horst Urbach Add to Reading List Source URL: numod.ins.uni-bonn.de Language: English - Date: 2010-10-07 11:50:29 Function Functional analysis Operator theory Spectral theory of ordinary differential equations Linear temporal logic Mathematics Mathematical analysis Functions and mappings
298	Inequality Constraints in Causal Models with Hidden Variables Changsung Kang Department of Computer Science Iowa State University Ames, IA 50011 Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2007-09-03 13:30:47 Logical syntax Bayesian network Networks Entailment Instrumental variable Inequality Causality Linear programming Variable Logic Mathematics Statistics
299	TIME DISCRETE GEODESIC PATHS IN THE SPACE OF IMAGES B. BERKELS, A. EFFLAND, M. RUMPF Abstract. In this paper the space of images is considered as a Riemannian manifold using the metamorphosis approach [24, 34, 35], where Add to Reading List Source URL: numod.ins.uni-bonn.de Language: English - Date: 2014-05-28 03:01:12 Tensors Mathematics Calculus of variations Pullback Tangent space Symbol Partial differential equation Linear temporal logic Differential geometry Mathematical analysis Differential topology
300	J. P. Delgrande A. C. Nayak M. Pagnucco Gricean Belief Change Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-10-14 12:12:41 Knowledge representation Interpretation Constructible universe Science Artificial intelligence Linear temporal logic Logic Model theory Belief revision

UPDATE